Utilisation des langages formels en théorie des champs

Quelques problèmes ouverts en théorie des langages algébriques

— We present hère some open questions about the context-free languages.

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Utilisation des représentations spatiales en gestion intégrée des zones côtières

This article aims to study how mapping contributes to organize and implement Integrated Coastal Zone Management projects. In order to observe the use of spatial representations and better understand the stakeholder’s mapping practices a qualitative methodology is used. The results show that mapping was mostly used to structure and stabilize the actor’s network. MOTS-CLES : représentations spati...

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...